1. A course on mathematical logic
پدیدآورنده : Srivastava, Shashi Mohan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Textbooks ، Logic, Symbolic and mathematical,، Godel's theorem
رده :
QA
9
.
S684C6
2013
2. A first journey through logic /
پدیدآورنده : Martin Hils, François Loeser.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Logic, Symbolic and mathematical.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.),Mathematics.,Mathematische Logik
رده :
QA9
.
H52445
2019
3. Advanced mathematics :
پدیدآورنده : Stanley J. Farlow.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Differential equations, Partial.,Logic, Symbolic and mathematical.,MATHEMATICS-- Calculus.,Mathematics.
رده :
QA37
.
3
4. Advanced mathematics :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics ; Textbooks. ; Logic, Symbolic and mathematical ; Textbooks. ;
5. Bridge to abstract mathematics /
پدیدآورنده : Ralph W. Oberste-Vorth, Aristides Mouzakitis, Bonita A. Lawrence
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Axioms,Logic, Symbolic and mathematical, Textbooks,Mathematics, Textbooks,Number theory,Set theory
6. Discrete and decision
پدیدآورنده : / Ian Bloomfield, John Stevens
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Mathematics -- Textbooks,Logic, Symbolic and mathematical
رده :
510
B655d
7. Formal logic :
پدیدآورنده : Paul Hoyningen-Huene ; translated by Alex Levine
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Textbooks
رده :
BC135
.
H6913
2004
8. How to read and do proofs :
پدیدآورنده : Daniel Solow (Department of Operations, Weatherhead School of Management, Case Western Reserve University, Cleveland, OH 44106, e-mail daniel.solow@case.edu, web http://weatherhead.cwru.edu/solow)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Textbooks,Proof theory, Textbooks
رده :
QA9
.
54
.
S65
2014
9. How to read and do proofs: an introduction to mathematical thought processes
پدیدآورنده : Solow, Daniel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Textbooks ، Proof theory,Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
S65
2005
10. Introduction to mathematical proofs :
پدیدآورنده : Charles E. Roberts, Jr.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Textbooks.,Proof theory, Textbooks.,Beweistheorie,Logic, Symbolic and mathematical.,Matematik.,Mathematik,Proof theory.
رده :
QA9
.
54
.
R63
2010
11. Logic and discrete mathematics :
پدیدآورنده : Willem Conradie, Valentin Goranko.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Textbooks.,Logic, Symbolic and mathematical, Textbooks.
12. Mathematical logic
پدیدآورنده : / George Tourlakis
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Logic, Symbolic and mathematical- Textbooks
رده :
QA9
.
T68
2008
13. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
2008
14. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
15. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
2008
16. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68M3
17. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
2008
18. Mathematical logic
پدیدآورنده : George Tourlakis
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع : Logic, Symbolic and mathematical, Textbooks
رده :
511
,.
3
,.
T68M
,
2008
19. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه گلستان (گلستان)
موضوع : ، logic, Symbolic and mathematical -- Textbooks
رده :
QA
9
.
T68